Multi-core parallelisation of Hume through structured transformation
نویسندگان
چکیده
The use of the Hume box calculus to systematically transform a single box into an equivalent multi-box program offering balanced parallel implementation is discussed. The approach is illustrated through the development of a multicore matrix multiplication program.
منابع مشابه
Performance analysis and structured parallelisation of the space-time adaptive processing computational kernel on multi-core architectures
To cite this article: Daniele Buono, Gabriele Mencagli, Alessio Pascucci & Marco Vanneschi , International Journal of Parallel, Emergent and Distributed Systems (2014): Performance analysis and structured parallelisation of the space–time adaptive processing computational kernel on multi-core architectures, International Journal of Parallel, Emergent and Distributed Systems, DOI: 10.1080/174457...
متن کاملMultiCore Parallelisation for Hume
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Hume is a novel formally-motivated programming language oriented to developing software where strong assurance of resource use is paramount, in particular embedded architecture. Functional programming languages, such as Hume, are, in principle, well placed to take a...
متن کاملParallelisation of storage cell flood models using OpenMP
Recent developments in computer processors have moved away from increasing clock speed towards multi-core approaches. For computationally intensive flood inundation models this development shift will need to be exploited if simulation runtimes are to be reduced in the near future. This work describes the implementation and benchmarking of a parallel version of the LISFLOOD-FP coupled 1D-2D hydr...
متن کاملHume box calculus: robust system development through software transformation
Hume is a contemporary programming language oriented to systems with strong resource bounds, based on autonomous concurrent “boxes” interacting across “wires”. Hume’s design reflects the explicit separation of coordination and computation aspects of multi-process systems, which greatly eases establishing resource bounds for programs. However, coordination and computation are necessarily tightly...
متن کاملParallel techniques for physically based simulation on multi-core processor architectures
As multi-core processor systems become more and more widespread, the demand for efficient parallel algorithms also propagates into the field of computer graphics. This is especially true for physically-based simulation, which is notorious for expensive numerical methods. In this work, we explore possibilities for accelerating physically-based simulation algorithms on multi-core architectures. T...
متن کامل